翻訳と辞書 Words near each other ・ "O" Is for Outlaw ・ "O"-Jung.Ban.Hap. ・ "Ode-to-Napoleon" hexachord ・ "Oh Yeah!" Live ・ "Our Contemporary" regional art exhibition (Leningrad, 1975) ・ "P" Is for Peril ・ "Pimpernel" Smith ・ "Polish death camp" controversy ・ "Pro knigi" ("About books") ・ "Prosopa" Greek Television Awards ・ "Pussy Cats" Starring the Walkmen ・ "Q" Is for Quarry ・ "R" Is for Ricochet ・ "R" The King (2016 film) ・ "Rags" Ragland ・ ! (album) ・ ! (disambiguation) ・ !! ・ !!! ・ !!! (album) ・ !!Destroy-Oh-Boy!! ・ !Action Pact! ・ !Arriba! La Pachanga ・ !Hero ・ !Hero (album) ・ !Kung language ・ !Oka Tokat ・ !PAUS3 ・ !T.O.O.H.! ・ !Women Art Revolution Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク entanglement witness ： ウィキペディア英語版 entanglement witness In quantum information theory, an entanglement witness is a functional which distinguishes a specific entangled state from separable ones. Entanglement witnesses can be linear or nonlinear functionals of the density matrix. If linear, then they can also be viewed as observables for which the expectation value of the entangled state is strictly outside the range of possible expectation values of any separable state. == Details == Let a composite quantum system have state space $H\_A\; \backslash otimes\; H\_B$. A mixed state ρ is then a trace-class positive operator on the state space which has trace 1. We can view the family of states as a subset of the real Banach space generated by the Hermitian trace-class operators, with the trace norm. A mixed state ρ is separable if it can be approximated, in the trace norm, by states of the form :$\backslash xi\; =\; \backslash sum\_\; ^k\; p\_i\; \backslash ,\; \backslash rho\_i^A\; \backslash otimes\; \backslash rho\_i^B,$ where $\backslash rho\_i^A$'s and $\backslash rho\_i^B$'s are pure states on the subsystems ''A'' and ''B'' respectively. So the family of separable states is the closed convex hull of pure product states. We will make use of the following variant of Hahn–Banach theorem: Theorem Let $S\_1$ and $S\_2$ be disjoint convex closed sets in a real Banach space and one of them is compact, then there exists a bounded functional ''f'' separating the two sets. This is a generalization of the fact that, in real Euclidean space, given a convex set and a point outside, there always exists an affine subspace separating the two. The affine subspace manifests itself as the functional ''f''. In the present context, the family of separable states is a convex set in the space of trace class operators. If ρ is an entangled state (thus lying outside the convex set), then by theorem above, there is a functional ''f'' separating ρ from the separable states. It is this functional ''f'', or its identification as an operator, that we call an entanglement witness. There are more than one hyperplane separating a closed convex set and a point lying outside of it. So for an entangled state there are more than one entanglement witnesses. Recall the fact that the dual space of the Banach space of trace-class operators is isomorphic to the set of bounded operators. Therefore we can identify ''f'' with a Hermitian operator ''A''. Therefore, modulo a few details, we have shown the existence of an entanglement witness given an entangled state: Theorem For every entangled state ρ, there exists a Hermitian operator A such that , and $\backslash operatorname(A\; \backslash ,\; \backslash sigma)\; \backslash geq\; 0$ for all separable states σ. When both $H\_A$ and $H\_B$ have finite dimension, there is no difference between trace-class and Hilbert–Schmidt operators. So in that case ''A'' can be given by Riesz representation theorem. As an immediate corollary, we have: Theorem A mixed state σ is separable if and only if :$\backslash operatorname(A\; \backslash ,\; \backslash sigma)\; \backslash geq\; 0$ for any bounded operator A satisfying $\backslash operatorname(A\; \backslash cdot\; P\; \backslash otimes\; Q)\; \backslash geq\; 0$, for all product pure state $P\; \backslash otimes\; Q$. If a state is separable, clearly the desired implication from the theorem must hold. On the other hand, given an entangled state, one of its entanglement witnesses will violate the given condition. Thus if a bounded functional ''f'' of the trace-class Banach space and ''f'' is positive on the product pure states, then ''f'', or its identification as a Hermitian operator, is an entanglement witness. Such a ''f'' indicates the entanglement of some state. Using the isomorphism between entanglement witnesses and non-completely positive maps, it was shown (by the Horodecki's) that Theorem A mixed state $\backslash sigma\; \backslash in\; L(H\_A)\; \backslash otimes\; L(H\_B)$ is separable if for every positive map Λ from bounded operators on $H\_B$ to bounded operators on $H\_A$, the operator $(I\_A\; \backslash otimes\; \backslash Lambda)(\backslash sigma)$ is positive, where $I\_A$ is the identity map on $\backslash ;\; L\; (H\_A)$, the bounded operators on $H\_A$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「entanglement witness」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.